49 research outputs found
Transition Semantics - The Dynamics of Dependence Logic
We examine the relationship between Dependence Logic and game logics. A
variant of Dynamic Game Logic, called Transition Logic, is developed, and we
show that its relationship with Dependence Logic is comparable to the one
between First-Order Logic and Dynamic Game Logic discussed by van Benthem. This
suggests a new perspective on the interpretation of Dependence Logic formulas,
in terms of assertions about reachability in games of im- perfect information
against Nature. We then capitalize on this intuition by developing expressively
equivalent variants of Dependence Logic in which this interpretation is taken
to the foreground
The Doxastic Interpretation of Team Semantics
We advance a doxastic interpretation for many of the logical connectives
considered in Dependence Logic and in its extensions, and we argue that Team
Semantics is a natural framework for reasoning about beliefs and belief
updates
Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
We introduce some new logics of imperfect information by adding atomic
formulas corresponding to inclusion and exclusion dependencies to the language
of first order logic. The properties of these logics and their relationships
with other logics of imperfect information are then studied. Furthermore, a
game theoretic semantics for these logics is developed. As a corollary of these
results, we characterize the expressive power of independence logic, thus
answering an open problem posed in (Gr\"adel and V\"a\"an\"anen, 2010)
Upwards Closed Dependencies in Team Semantics
We prove that adding upwards closed first-order dependency atoms to
first-order logic with team semantics does not increase its expressive power
(with respect to sentences), and that the same remains true if we also add
constancy atoms. As a consequence, the negations of functional dependence,
conditional independence, inclusion and exclusion atoms can all be added to
first-order logic without increasing its expressive power.
Furthermore, we define a class of bounded upwards closed dependencies and we
prove that unbounded dependencies cannot be defined in terms of bounded ones.Comment: In Proceedings GandALF 2013, arXiv:1307.416
Characterizing downwards closed, strongly first order, relativizable dependencies
In Team Semantics, a dependency notion is strongly first order if every
sentence of the logic obtained by adding the corresponding atoms to First Order
Logic is equivalent to some first order sentence. In this work it is shown that
all nontrivial dependency atoms that are strongly first order, downwards
closed, and relativizable (in the sense that the relativizations of the
corresponding atoms with respect to some unary predicate are expressible in
terms of them) are definable in terms of constancy atoms.
Additionally, it is shown that any strongly first order dependency is safe
for any family of downwards closed dependencies, in the sense that every
sentence of the logic obtained by adding to First Order Logic both the strongly
first order dependency and the downwards closed dependencies is equivalent to
some sentence of the logic obtained by adding only the downwards closed
dependencies
Safe Dependency Atoms and Possibility Operators in Team Semantics
I consider the question of which dependencies are safe for a Team
Semantics-based logic FO(D), in the sense that they do not increase its
expressive power over sentences when added to it. I show that some
dependencies, like totality, non-constancy and non-emptiness, are safe for all
logics FO(D), and that other dependencies, like constancy, are not safe for
FO(D) for some choices of D despite being strongly first order. I furthermore
show that the possibility operator, which holds in a team if and only if its
argument holds in some nonempty subteam, can be added to any logic FO(D)
without increasing its expressive power over sentences.Comment: In Proceedings GandALF 2018, arXiv:1809.0241